#include <svdpi.h>
#include <iostream>

using namespace std;

extern "C" void print_count (const svBitVecVal *count)
{
	cout << "Counter = " << hex << count[0] << endl;
}
